∫ Symbolic Math

Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

Feeds to Scour
SubscribedAll
Scoured 82965 posts in 590.7 ms
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org·1d
🎯Symbolic Execution
The Little Book of Linear Algebra
little-book-of.github.io·22h
🧮Linear Algebra
Build a Compiler in Five Projects
kmicinski.com·1h
🎭Racket Modules
**Abstract:** This paper proposes a novel framework for the automated discovery and validation of previously unknown fractal-based geometric sequences within...
freederia.com·13h
🔢Algebraic Datatypes
LaTeX2MathML
lib.rs·2d
∫Mathematical DSLs
First Proof | Research-Level Math for AI Evaluation
1stproof.org·1d·
Discuss: Hacker News
🧩Constraint Solvers
Dot Chain Special Operators
yamlscript.org·6h
🔬Nanopasses
Modern Trends In Floating-Point
semiengineering.com·2d
🔬Nanopasses
Advance Excel Course
dev.to·1h·
Discuss: DEV
🧮Linear Algebra
Algebraic and Arithmetic Attributes of Hypergeometric Functions in SageMath
arxiv.org·2d
🔢Algebraic Datatypes
🛩 Beginner-Friendly Guide 'Trionic Array II' - Problem 3640 (C++, Python, JavaScript)
dev.to·2d·
Discuss: DEV
🔢Algebraic Datatypes
Numbers, Faces, by Paul Ford (Ftrain)
ftrain.com·18h
📐Mathematical Computing
Solving NYT Pips with DLX
github.com·6h·
Discuss: Hacker News
🌲Deforestation
Show HN: Programming Language for Music- Aethra
news.ycombinator.com·23h·
Discuss: Hacker News
💬Interactive REPLs
Recent Advances in LLMs for Mathematics
youtube.com·4d·
Discuss: Hacker News
📐Mathematical Computing
Logic for Programmers New Release and Next Steps
buttondown.com·2d
📋Souffle Datalog
Making Your Own Examples Is One of the Most Powerful Math Skills
kidswholovemath.substack.com·22h·
Discuss: Substack
📐Mathematical Computing
Finding all the roots of a polynomial using the QR algorithm
johndcook.com·12h
🔬Hindley-Milner Implementation
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
πPi Calculus
Logistic Regression, Average Marginal Effects, and the Linear Probability Model - Part II: Coefficients and AMEs of nested models
elff.eu·20h
✨Effect Inference

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help